- checking sequence
- проверочная последовательность
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
The Simpsons opening sequence — The Simpsons title screen as of 2009. The Simpsons opening sequence is an element that begins almost every episode of the American animated television series The Simpsons. Starting with the season 20 episode Take My Life, Please , the opening… … Wikipedia
Profibus — Infobox Fieldbus Protocol Name = PROFIBUS Type of Network = Device Bus, Process Control Physical Media = Twisted pair, fiber Network Topology = Bus Device Addressing = DIP Switch or hardware/software Governing Body = PROFIBUS PROFINET… … Wikipedia
PROFIBUS — (Process Field Bus) ist ein Standard für die Feldbus Kommunikation in der Automatisierungstechnik und wurde anfangs (1989) vom BMBF gefördert. Es ist nicht zu verwechseln mit dem PROFINET Standard für Industrial Ethernet. Inhaltsverzeichnis 1 … Deutsch Wikipedia
FCS — abbr. File Control Services File Conversion System Frame Checking Sequence … Dictionary of English abbreviation
контрольная последовательность блоков данных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN block checking sequence … Справочник технического переводчика
порядок проверки — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN checking sequence … Справочник технического переводчика
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Controlled grammar — Controlled grammars[1] are a class of grammars that extend, usually, the context free grammars with additional controls on the derivations of a sentence in the language. A number of different kinds of controlled grammars exist, the four main… … Wikipedia